📏 Linear Types

Resource Management, Use-Once Semantics, Affine Types, Memory Safety

Opportunistically Parallel Lambda Calculus
dl.acm.org·22h·
Discuss: Hacker News
💻Programming languages
Flag this post
C3 0.7.7 Vector ABI changes, RISC-V improvements and more
reddit.com·3h·
Discuss: r/programming
🔄SIMD Programming
Flag this post
Reflection for Aggregates (2020)
akrzemi1.wordpress.com·5h·
Discuss: Lobsters, Hacker News
🦀Rust Compiler Internals
Flag this post
Roadmap for Improving the Type Checker
forums.swift.org·19h·
Discuss: Lobsters, Hacker News
💻Programming languages
Flag this post
🎲 On LLMs
kaukas.mataroa.blog·11h
🪄Prompt Engineering
Flag this post
Accelerating AI inferencing with external KV Cache on Managed Lustre
cloud.google.com·4h
🏗️LLM Infrastructure
Flag this post
Minimal Sufficiency: A Principle ‘Similar’ to End-to-End
cacm.acm.org·1h·
Discuss: Hacker News
🔄Eventual Consistency
Flag this post
Oops, My UUIDs Collided
alexsci.com·1h·
Discuss: Hacker News
💾Binary Formats
Flag this post
Show HN: rstructor, Pydantic+instructor for Rust
github.com·1h·
Discuss: Hacker News
🔄Serde
Flag this post
Myths Programmers Believe about CPU Caches
software.rajivprab.com·19h·
Discuss: Hacker News
🔄Cache Coherence
Flag this post
Ajla Tutorial
ajla-lang.cz·19h·
Discuss: Hacker News
💻Programming languages
Flag this post
Building Up And Sanding Down
endler.dev·20h
🪄Prompt Engineering
Flag this post
Your Transformer is Secretly an EOT Solver
elonlit.com·15h·
Discuss: Hacker News
🧠LLM Inference
Flag this post
wastrel, a profligate implementation of webassembly
wingolog.org·21h·
Discuss: Lobsters, Hacker News
📦WASM
Flag this post
LangGraph feels like what LangChain wanted to be
leanware.co·15h·
Discuss: r/rust
👨‍💻AI Coding
Flag this post
Anyone else running their whole AI stack as Proxmox LXC containers? Im currently using Open WebUI as front-end, LiteLLM as a router and A vLLM container per mod...
i.redd.it·10h·
Discuss: r/LocalLLaMA
🏗️LLM Infrastructure
Flag this post
Three Meanings of Reference
sandordargo.com·10h·
Discuss: Hacker News, r/cpp
🔒Borrow Checker
Flag this post
From Lossy to Lossless Reasoning
manidoraisamy.com·2h·
Discuss: Hacker News
🔤Tokenization
Flag this post
Introductory Python: Basic Python Objects, Functions, and Loops— Part 1
pub.towardsai.net·13h
💻Programming languages
Flag this post
From Scripts to Scale: Python, Mypy, and the Rise of Static Typing
simplethread.com·19h·
Discuss: Hacker News
📘Typescript
Flag this post